Tootfinder

#Verpasstodon
Noch einige der zuletzt hier besonders häufig geteilten #News:
Intels Lösung für instabile CPUs: Haltet die Spezifikationen ein!

From collapse to comeback: behind the scenes of Pixium Vision's revival with Dr. Brian Burg https://www.bionic-vision.org/research-spotlights/pixium-vision-science-corp-behind-the-scenes-brian-burg-2024 "…

Denotation-based Compositional Compiler Verification
Zheng Cheng, Jiyang Wu, Di Wang, Qinxiang Cao
https://arxiv.org/abs/2404.17297 https://

Denotation-based Compositional Compiler Verification
A desired but challenging property of compiler verification is compositionality in the sense that the compilation correctness of a program can be deduced from that of its substructures ranging from statements, functions, and modules incrementally. Previously proposed approaches have devoted extensive effort to module-level compositionality based on small-step semantics and simulation theories. This paper proposes a novel compiler verification framework based on denotational semantics for better…

Characterization of quadratic $\varepsilon$-CNS polynomials (extended version)
Borka Jadrijevi\'c, Kristina Mileti\'c
https://arxiv.org/abs/2402.16588

Characterization of quadratic $\varepsilon$-CNS polynomials (extended version)
In this paper, we give characterization of quadratic $\varepsilon-$canonical number system ($\varepsilon-$CNS) polynomials for all values $\varepsilon \in\lbrack0,1)$. Our characterization provides a unified view of the well-known characterizations of the classical quadratic CNS polynomials ($\varepsilon=0$) and quadratic SCNS polynomials ($\varepsilon=1/2$). This result is a consequence of our new characterization results of $\varepsilon -$shift radix systems ($\varepsilon-$SRS) in the two-dim…

VerifiNER: Verification-augmented NER via Knowledge-grounded Reasoning with Large Language Models
Seoyeon Kim, Kwangwook Seo, Hyungjoo Chae, Jinyoung Yeo, Dongha Lee
https://arxiv.org/abs/2402.18374

VerifiNER: Verification-augmented NER via Knowledge-grounded Reasoning with Large Language Models
Recent approaches in domain-specific named entity recognition (NER), such as biomedical NER, have shown remarkable advances. However, they still lack of faithfulness, producing erroneous predictions. We assume that knowledge of entities can be useful in verifying the correctness of the predictions. Despite the usefulness of knowledge, resolving such errors with knowledge is nontrivial, since the knowledge itself does not directly indicate the ground-truth label. To this end, we propose VerifiNE…

ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses
Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh
https://arxiv.org/abs/2403.18729 …

ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses
The uninterpretability of DNNs hinders their deployment to safety-critical applications. Recent works have shown that Abstract-Interpretation-based formal certification techniques provide promising avenues for building trust in DNNs to some extent. The intricate mathematical background of Abstract Interpretation poses two challenges: (i) easily designing the algorithms that capture the intricate DNN behavior by balancing cost vs. precision tradeoff, and (ii) maintaining the over-approximation-b…

Characterization of quadratic $\varepsilon$-CNS polynomials (extended version)
Borka Jadrijevi\'c, Kristina Mileti\'c
https://arxiv.org/abs/2402.16588

Characterization of quadratic $\varepsilon$-CNS polynomials (extended version)
In this paper, we give characterization of quadratic $\varepsilon-$canonical number system ($\varepsilon-$CNS) polynomials for all values $\varepsilon \in\lbrack0,1)$. Our characterization provides a unified view of the well-known characterizations of the classical quadratic CNS polynomials ($\varepsilon=0$) and quadratic SCNS polynomials ($\varepsilon=1/2$). This result is a consequence of our new characterization results of $\varepsilon -$shift radix systems ($\varepsilon-$SRS) in the two-dim…

Texas Sues Pornhub, Claiming It’s Ignoring Age Verification Law https://www.404media.co/texas-sues-pornhub-claiming-its-ignoring-age-verification-law/

WhatsApp rolls out passkey support on iOS, removing the need for users to deal with SMS one-time passcodes, six months after introducing the feature on Android (Aisha Malik/TechCrunch)
https://techcrunch.com/2024/04/24/whatsapp-adds-global-suppo…

WhatsApp adds global support for passkeys on iOS | TechCrunch
WhatsApp is introducing support for passkey verification on iOS, removing the need for users to deal with SMS two-factor authentication.

ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses
Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh
https://arxiv.org/abs/2403.18729 …

ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses
The uninterpretability of DNNs hinders their deployment to safety-critical applications. Recent works have shown that Abstract-Interpretation-based formal certification techniques provide promising avenues for building trust in DNNs to some extent. The intricate mathematical background of Abstract Interpretation poses two challenges: (i) easily designing the algorithms that capture the intricate DNN behavior by balancing cost vs. precision tradeoff, and (ii) maintaining the over-approximation-b…